Results for 'Babaev Shavkat Bayramovich'

5 found
Order:
  1.  8
    Primenenii︠a︡ metodov teorii dokazatelʹstv v teorii kategoriĭ.A. A. Babaev - 2001 - Baku: "ELM". Edited by R. S. Sadyrkhanov.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  58
    Disputes over Water Resources: A History of Conflict and Cooperation in Drainage Basins.Shavkat Kasymov - 2012 - Journal for Peace and Justice Studies 22 (1):19-42.
    This essay presents the analysis of conflict history over freshwater in several drainage basins across the planet. As will be demonstrated in this essay, unilateral water policies have proved to reduce the role and prospect of water treaties and international water sharing regimes, and led to political tensions and conflicts. Using the case studies of conflict history in the Aral Sea Basin, the Jordan River Basin, the Ganges-Brahmaputra River system and the Tigris-Euphrates River Basin, the author assesses a conflict potential (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. (1 other version)Filosofii︠a︡.Dzhalal Mansurovich Babaev (ed.) - 1973 - [s. n.],:
     
    Export citation  
     
    Bookmark  
  4.  3
    The Image of the Mental Map in the Communication of Social Media Users From Saint Petersburg.Sergey Babaev Troitskiy - 2024 - Rivista di Estetica 85 (85):135-156.
    The study, conducted in March 2022, involved the analysis of the content in several social media chats and groups; the participants of those chats live in the same place and therefore have a common experience of the space. The study was based on the hypothesis of a direct connection between the mental map (a system of individual ideas about space), the cultural reputation of topoi, and urban trauma, embodied in the unease infrastructure. The problem of assessing the significance of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  59
    Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.
    We describe a natural deduction system NDIL for the second order intuitionistic linear logic which admits normalization and has a subformula property. NDIL is an extension of the system for !-free multiplicative linear logic constructed by the author and elaborated by A. Babaev. Main new feature here is the treatment of the modality !. It uses a device inspired by D. Prawitz' treatment of S4 combined with a construction $<\Gamma>$ introduced by the author to avoid cut-like constructions used in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations